Discrete-time Promela and SpinBOSNACKI, D; DAMS, A. D.Lecture notes in computer science. 1998, pp 307-310, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Duration calculus of weakly monotonic timePANDYA, P. K; DANG VAN HUNG.Lecture notes in computer science. 1998, pp 55-64, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Fair synchronous transition systems and their liveness proofsPNUELI, A; SHANKAR, N; SINGERMAN, E et al.Lecture notes in computer science. 1998, pp 198-209, issn 0302-9743, isbn 3-540-65003-2Conference Paper

A modular visual model for hybrid systemsGROSU, R; STAUNER, T; BROY, M et al.Lecture notes in computer science. 1998, pp 75-91, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Challenges in the utilization of formal methodsKNIGHT, J. C.Lecture notes in computer science. 1998, pp 1-17, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Partition refinement in real-time model checkingSPELBERG, R. L; TOETENEL, H; AMMERLAAN, M et al.Lecture notes in computer science. 1998, pp 143-157, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Synchronizing clocked transition systemsPOEL, M; ZWIERS, J.Lecture notes in computer science. 1998, pp 173-185, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Compiling graphical real-time specifications into siliconFRÄNZLE, M; LÜTH, K.Lecture notes in computer science. 1998, pp 272-281, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Formal verification of stabilizing systemsSIEGEL, M.Lecture notes in computer science. 1998, pp 158-172, issn 0302-9743, isbn 3-540-65003-2Conference Paper

MOBY/PLC : Graphical development of PLC-automataTAPKEN, J; DIERKS, H.Lecture notes in computer science. 1998, pp 311-314, issn 0302-9743, isbn 3-540-65003-2Conference Paper

A practical and complete algorithm for testing real-time systemsCARDELL-OLIVER, R; GLOVER, T.Lecture notes in computer science. 1998, pp 251-261, issn 0302-9743, isbn 3-540-65003-2Conference Paper

On checking parallel real-time systems for linear duration propertiesZHAO JIANHUA; DANG VAN HUNG.Lecture notes in computer science. 1998, pp 241-250, issn 0302-9743, isbn 3-540-65003-2Conference Paper

SGLOT : A visual tool for structural LOTOS specificationsMARRERO, M; SUAREZ, A; CARRION, E et al.Lecture notes in computer science. 1998, pp 303-306, issn 0302-9743, isbn 3-540-65003-2Conference Paper

A general framework for the composition of timed systems : Extended abstractSIFAKIS, J.Lecture notes in computer science. 1998, pp 27-28, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Kronos : A model-checking tool for real-time systems : (Tool-presentation for FTRTFT '98)BOZGA, M; DAWS, C; MALER, O et al.Lecture notes in computer science. 1998, pp 298-302, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Operational and logical semantics for polling real-time systemsDIERKS, H; FEHNKER, A; MADER, A et al.Lecture notes in computer science. 1998, pp 29-40, issn 0302-9743, isbn 3-540-65003-2Conference Paper

A finite-domain semantics for testing temporal logic specificationsCOEN-PORISINI, A; PRADELLA, M; SAN PIETRO, P et al.Lecture notes in computer science. 1998, pp 41-54, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Integrating real-time structured design and formal techniquesPRIDDIN, D; BURNS, A.Lecture notes in computer science. 1998, pp 92-102, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Reuse in requirements engineering : Discovery and application of a real-time requirement patternGOTZHEIN, R; KRONENBURG, M; PEPER, C et al.Lecture notes in computer science. 1998, pp 65-74, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Some decidability results for duration calculus under synchronous interpretationSATPATHY, M; PANDYA, P. K; DANG VAN HUNG et al.Lecture notes in computer science. 1998, pp 186-197, issn 0302-9743, isbn 3-540-65003-2Conference Paper